Lightweight formalization and validation of ORM models
نویسندگان
چکیده
منابع مشابه
Visualizing Formalisms with ORM Models
During the development of theoretical frameworks researchers often graphically represent formal textual notations as part of a developed theory. This may lead to enrichments and new insights regarding a theory. A possibility for graphical representation of formalisms is the utilization of modeling languages such as ORM. This paper deals with the technique of visualizing formalisms by using ORM ...
متن کاملconstruction and validation of the translation teacher competency test and the scale of students’ perceptions of translation teachers
the major purpose of this study was to develop the translation teacher competency test (ttct) and examine its construct and predictive validity. the present study was conducted in two phases: a qualitative phase as well as a quantitative phase. in the first phase of the study, the author attempted to find out the major areas of competency required for an academic translation teacher. the second...
construction and validation of translation metacognitive strategy questionnaire and its application to translation quality
like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...
Formalization and Validation of Safety-Critical Requirements
The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways, the use of formal methods is of paramount importance both for requirements and for design validation. Nevertheless, while for the verification of the design, many formal techniques have been conceived and applied, t...
متن کاملFaceted Lightweight Ontologies: a Formalization and some Experiments
While classifications are heavily used to categorize web content, the evolution of the web foresees a more formal structure – ontology which can serve this purpose. Ontologies are core artifacts of the Semantic Web which enable machines to use inference rules to conduct automated reasoning on data. Lightweight ontologies bridge the gap between classifications and ontologies. A lightweight ontol...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2015
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2015.03.001